Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
automatic recovery program - перевод на арабский
TASK TO CONSTRUCT A PROGRAM THAT PROVABLY SATISFIES A GIVEN HIGH-LEVEL FORMAL SPECIFICATION
Automatic program synthesis; Code Synthesis
automatic recovery program
برنامج الاسترداد التلقائى
برنامج الاسترداد التلقائى
automatic recovery program
program module
![DEC]] [[VT100]] (1978) was a widely used [[computer terminal]].](https://commons.wikimedia.org/wiki/Special:FilePath/DEC VT100 terminal transparent.png?width=200 "DEC]] [[VT100]] (1978) was a widely used [[computer terminal]].")
![Switches for manual input on a [[Data General Nova]] 3, manufactured in the mid-1970s](https://commons.wikimedia.org/wiki/Special:FilePath/Dg-nova3.jpg?width=200 "Switches for manual input on a [[Data General Nova]] 3, manufactured in the mid-1970s")
![[["Hello, World!" program]] by [[Brian Kernighan]] (1978)](https://commons.wikimedia.org/wiki/Special:FilePath/Hello World Brian Kernighan 1974.jpg?width=200 "[[\"Hello, World!\" program]] by [[Brian Kernighan]] (1978)")
![hardware]].](https://commons.wikimedia.org/wiki/Special:FilePath/Operating system placement (software).svg?width=200 "hardware]].")
![Fran Bilas]] programmed the [[ENIAC]] by moving cables and setting switches.](https://commons.wikimedia.org/wiki/Special:FilePath/Two women operating ENIAC (full resolution).jpg?width=200 "Fran Bilas]] programmed the [[ENIAC]] by moving cables and setting switches.")
SEQUENCE OF INSTRUCTIONS WRITTEN IN PROGRAMMING LANGUAGE TO PERFORM A SPECIFIED TASK WITH A COMPUTER
Computer programme; Computer code; Computer programs; Software program; Program (programming); Program (computer science); Program (computing); Computer Program; Software code; Program (computer); Computer Programs; Program file; Computer program code; Program module
وحدة كاملة من أوامر البرنامج .
Википедия
Program synthesis
In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program verification, the program is to be constructed rather than given; however, both fields make use of formal proof techniques, and both comprise approaches of different degrees of automatization. In contrast to automatic programming techniques, specifications in program synthesis are usually non-algorithmic statements in an appropriate logical calculus.
